Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
91	Microsoft Word - Ocken, Why students fail calculus.htm Add to Reading List Source URL: nychold.com Language: English - Date: 2014-04-03 09:28:27 Mathematics Mathematical analysis Functions and mappings Elementary mathematics Algebra Calculus Differential calculus Lambda calculus Function Integral Derivative Expression
92	Design and Evaluation of Gradual Typing for Python Michael M. Vitousek Andrew M. Kent Jeremy G. Siek Jim Baker Rackspace Inc. Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:51 Software engineering Computing Computer programming Data types Type theory Subroutines Functional programming Lambda calculus Type system Gradual typing Anonymous function Type safety
93	To appear in MFCSAvailable online from http://www.cl.cam.ac.uk/∼ljw1004 Explicit Fusions Philippa Gardner and Lucian Wischik∗ June 2000 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2001-08-20 15:52:59 Theoretical computer science Mathematical logic Logic Formal methods Logic in computer science Process calculi -calculus Computability theory Process calculus Lambda calculus Bisimulation Calculus
94	Elements of Geometric Stability Theory MayCompleteness and quantifier elimination for Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2008-10-13 06:19:06 Algebra Mathematics Symbol Abstract algebra Closure operator Constructible universe Spectral theory Ring theory Representation theory of Lie groups Lambda calculus Spectral theory of ordinary differential equations
95	Microsoft PowerPoint - Lect10symbols_quotev2.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-10-13 09:33:07 Computing Software engineering Computer programming Data types Functional programming Control flow Anonymous function Lambda calculus Subroutines Eval ?: Expr
96	http://www.wischik.com/lu/research/oldnames.html Old Names for Nu Lucian Wischik, Microsoft. JuneAbstract. There is a gap between theory and implementation of the pi Add to Reading List Source URL: www.wischik.com Language: English - Date: 2005-01-27 16:22:38 Mathematics Theoretical computer science Logic Abstraction Process calculi -calculus Lambda calculus Process calculus Limit of a function Quantifier Sheaf Jet bundle
97	arXiv:0910.5577v1 [cs.OS] 29 OctOn the stability of two-chunk file-sharing systems Ilkka Norros and Hannu Reittu VTT Technical Research Centre of Finland Timo Eirola Add to Reading List Source URL: arxiv.org Language: English - Date: 2009-10-29 21:18:39 Mathematics Algebra Distribution Number theory Dynamical system Spectral theory Lambda calculus Spectral theory of ordinary differential equations
98	Type theory and proof assistants 21 January 2009, 15.30–17.30 This test has 15 exercises, and each exercise is worth 6 points. The first 10 points are free, and the final mark is the number of points divided by ten. Go Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Type theory Mathematical logic Theoretical computer science Lambda calculus Mathematics CurryHoward correspondence Dependent type Church encoding System F Simply typed lambda calculus Natural deduction Combinatory logic
99	PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama Add to Reading List Source URL: src.acm.org Language: English - Date: 2016-06-08 14:54:18 Software engineering Declarative programming Computer programming Functional programming Theoretical computer science Data types Type theory Computability theory Lambda calculus Recursion Algebraic data type Anonymous function

UPDATE